| 1. |
- Seceleanu, Tiberiu, et al.
(författare)
-
Communicating with Synchronized Environments
- 2006
-
Ingår i: Proceedings of the Sixth International Conference on Application of Concurrency to System Design. - 0769525563 - 9780769525563 ; , s. 15-24
-
Konferensbidrag (refereegranskat)abstract
- In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well-behaved composition of such modules is a very important task of the system designer. In the framework of the action systems formalism, we analyze the co-existence of two models of execution, one synchronized, the other, interleaved. We devise a communication scheme, similar to the classical paradigm of polling, which allows us to model synchronized components that correctly exchange information, within the borders of a global system, with their non-synchronized partners. Derivations of such mechanisms follow specific correctness rules for refinement. We illustrate our methods on an audio system example, implementable as either a software or a hardware device.
|
|
| 2. |
- Seceleanu, Tiberiu, et al.
(författare)
-
Modeling Communication with Synchronized Environments
- 2008
-
Ingår i: Fundamenta Informaticae. - 0169-2968 .- 1875-8681. ; 86:3, s. 343-369
-
Tidskriftsartikel (refereegranskat)abstract
- A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability. The compatibility of the selected components may become a problem even at abstract design levels, due to possible different degrees of model determinacy, possible different execution models, etc. In this cases, an overall deterministic system behavior is difficult to achieve. The development of communication mechanisms between such components will have then to accommodate the differences, so that both correct processing and information exchange (data and control, appropriate choices and relative timing or sequencing) are achieved. For instance, human-machine interaction offers a good example of cooperation between deterministic models (machines) communicating with highly non-deterministic counterparts (the human models, if not restricted). We analyze here such communication mechanisms by "confronting" synchronized and un-synchronized models of execution, in the framework of action systems, a state based formalism. We "force" the two models to coexist within the same context and explore the possibilities of building trustworthy communication channels between them. We base our approach on a combined polling - interrupt scheme, which allows us to mitigate communication issues that may otherwise compromise the correct input-output system behavior. More robust system models are obtained by applying specific correctness rules of refinement. We illustrate our methods on an audio system example, implementable as either a software or a hardware device.
|
|
| 3. |
- Seceleanu, Tiberiu, et al.
(författare)
-
On-Chip Distributed Architectures
- 2006
-
Ingår i: 2006 IEEE International Systems-on-Chip Conference, SOC. - : IEEE. - 0780397819 - 9780780397811 ; , s. 329-330
-
Konferensbidrag (refereegranskat)
|
|
